Sökresultat för: J. Lambek
Introduction to Higher-order Categorical Logic (Häftad)
avJ. Lambek, P.J. Scott
ISBN: 9780521356534 - UTGIVEN: 1988-03In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it [...]
After Kinship (Häftad)
avJanet Carsten, Olivia J. Harris, Michael Lambek
ISBN: 9780521665704 - UTGIVEN: 200311This innovative book takes a fresh look at the anthropology of kinship and the comparative study of relatedness. Kinship has historically been central to the discipline of anthropology but what sort of future does it have? What is the impact of recent studies of reproductive technologies, of gender,[...]
